bench_dir=$1

# Check if the directory exists
if [ -d "$bench_dir" ]; then
    sh  scripts/run/syntcomp23/sub_modules/batch_commit_pbs-others.sh $bench_dir   $exec_bin &
    sh  scripts/run/syntcomp23/sub_modules/batch_commit_pbs-syft.sh   $bench_dir   $exec_bin &
    sh  scripts/run/syntcomp23/sub_modules/batch_commit_pbs-case.sh   $bench_dir   $exec_bin &
    sh  scripts/run/syntcomp23/sub_modules/batch_commit_pbs-asc.sh    $bench_dir   $exec_bin &
    sh  scripts/run/syntcomp23/sub_modules/batch_commit_pbs-nim.sh    $bench_dir   $exec_bin &
    wait
else
    echo "The bench_dir is not exist, please check!!!"
fi
